"Edmund M. Clarke" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Logic for Programming, Artificial Intelligence, and Reasoning

Edmund M. Clarke, Andrei Voronkov

Категория: Компьютеры, Программирование

6.40 Mb

#2

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

2.13 Mb

#3

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Категория: Computer science, Algorithms

1.88 Mb

#4

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

3.22 Mb

#5

Computer Aided Verification, 2 conf., CAV '90

Edmund M. Clarke, Robert P. Kurshan

Категория: Cs_Computer science, CsLn_Lecture notes

3.97 Mb

#6

Understanding Corporate Pension Plans

Edmund A. Mennis, Chester D. Clark

2.69 Mb